1. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics

رده :
QA
9
.
A1A42

2. Algebraic and logic programming : 6th International Joint Conference, ALP'97-HOA'97, Southampton, UK, September 3-5, 1997 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic,Congresses ، Rewriting systems )Computer science(

رده :
QA
76
.
L28
Vol
.
1298

3. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
417

4. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
.
I57
1988

5. CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
385

6. CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
.
W67
1988

7. CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
440

8. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
.
W67
1989

9. CSL'87 : 1st Workshop on Computer Science Logic, Karlsruhe FRG, October 12-16, 1987 : Proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical,، Computer science -- Mathematics

رده :
QA
76
.
L28
Vol
.
329

10. Cafe

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Algebraic logic , Congresses,Formal methods (Computer science) , Congresses,Electronic books. , local

رده :
E-BOOK

11. Computer Aided Verification :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.

رده :
QA76
.
758
.
C38
2019

12. Computer science Logic : 7th Workshop, CSL'93, Swansea, United Kingdom, September 13 - 17, 1993. Selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
832

13. Computer science logic

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Computer science- Congresses,Logic, Symbolic and mathematical- Congresses

14. Computer science logic :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.

رده :
QA75
.
5
H367
1996

15. Computer science logic : 9th International Workshop, CSL'95 : Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1092

16. Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses

رده :
QA
75
.
5
.
W624
1991

17. Computer science logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 :proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
533

18. Computer science logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28-October 2, 1992 : selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
702

19. Computer science logic : 5th Workshop, CSL'91 : proceedings

کتابخانه: (طهران)

موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
626

20. Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

پدیدآورنده :

موضوع : Computer science - Congresses,Logic, Symbolic and mathematical - Congresses

۲ نسخه از این کتاب در ۱ کتابخانه موجود است.